Identifiability of homogeneous systems using the state isomorphism approach
نویسندگان
چکیده
New results are presented concerning the state isomorphism approach to global identifiability analysis of parameterized classes of nonlinear state space systems with specified initial states. In particular we study the class of homogeneous systems, for which, under certain conditions, the local state isomorphism for a pair of indistinguishable parameter vectors is shown to be homogeneous of degree one. For homogeneous polynomial systems, conditions are given under which the local state isomorphism becomes linear. Here, the issue of whether or not the observability rank condition holds at the origin is shown to be of key importance. The scope of the results, which extend to the multivariable case, is discussed and illustrated by a number of worked examples. This demonstrates how the developed theory can be put to use to investigate the global identifiability properties of parameterized model classes.
منابع مشابه
Equivalence and identifiability analysis of uncontrolled nonlinear dynamical systems
The problem of identifiability of parameters has hardly ever been considered in the case of uncontrolled systems whereas many efficient methods have been developped for controlled systems. The similarity transformation approach, based on the local state isomorphism theorem, gives a sufficient and necessary condition for global identifiability of non linear controlled systems. But this approach ...
متن کاملA local approach to the entropy of countable fuzzy partitions
This paper denes and investigates the ergodic proper-ties of the entropy of a countable partition of a fuzzy dynamical sys-tem at different points of the state space. It ultimately introducesthe local fuzzy entropy of a fuzzy dynamical system and proves itto be an isomorphism invariant.
متن کاملL-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS
The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Automatica
دوره 41 شماره
صفحات -
تاریخ انتشار 2005